$\forall$$i$:Id, ${\it ds}$:$x$:Id fp$\rightarrow$ Type, $x$:Id, $k$:Knd, $T$:Type, ${\it test}$:(State(${\it ds}$)$\rightarrow$$T$$\rightarrow\mathbb{B}$).
\\[0ex]($\neg$($\uparrow$$x$ $\in$ dom(${\it ds}$))) $\Rightarrow$ (R{-}base{-}recognize($i$;${\it ds}$;$x$;$k$;$T$;${\it test}$) $\in$ Realizer)